 

;; Block A is on the table, block B on A and there is nothing on B.  A
 
;; water bucket, a brush, a A blue sprayer and a red paint can are on
 
;; the table and clear.  The goal is to for A to be colored ref and B
 
;; blue and the brush be clean. 
 

 
(define (problem 3)
 
  (:domain hw6)
 
  (:objects blockA blockB blockC canBlue canGreen 
 
			sprayerRed waterbucket brush)
 
  
 
  (:init (arm-empty)
 
        (on-table blockA) 
 
		(on blockB blockA) 
 
		;(color blockB nocolor)
 
		(on blockC blockB) (clear blockC)
 
		
 
		(on-table canGreen) (paint canGreen green) (clear canGreen)
 
		(on-table canBlue) (paint canBlue blue) (clear canBlue)
 
		(on-table brush) (clean brush) (clear brush) 
 
		(on-table sprayerRed)(color sprayerRed red) (clear sprayerRed) 
 
		
 
		(on-table waterbucket) (clear waterbucket))
 
  
 
  (:goal (and (arm-empty)
 
              (color blockA red)
 
             (color blockB green)
 
			 (color blockC blue)
 
			 (on-table blockC) 
 
			(on blockB blockC)
 
			(on blockA blockB)
 
              (clean brush)))) 

